Diccionario
Abierto y colaborativo
Página principal

Significado de cálculo proposicional

cálculo proposicional: nombre masculino
Parte de la lógica formal que estudia las estructuras deductivas de las implicaciones lógicas y sus relaciones axiomáticas

Cita extraida del diccionario de la RAE cálculo proposicional